Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (8) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Тімочко О$<.>) | |||
|
Загальна кількість знайдених документів : 7 Представлено документи з 1 до 7 |
|||
| 1. | 
Тімочко О. І. Визначення параметрів, що впливають на вибір метода наведення винищувача на повітряну ціль [Електронний ресурс] / О. І. Тімочко, Н. О. Королюк, М. В. Науменко, Б. В. Бакуменко // Системи обробки інформації. - 2008. - Вип. 7. - С. 124-127. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2008_7_30 Розглянуто підхід щодо визначення найбільш переважних параметрів, що впливають на вибір методу наведення винищувача на повітряну ціль, на підставі постановки експертизи та обробки експертних даних. Одержані за результатами обробки значення компонентів функції приналежності множині параметрів, що впливають на визначення доцільного методу наведення винищувача на повітряну ціль, дозволяють упорядкувати її елементи за рівнями їх недомінування. | ||
| 2. | 
Зуєв П. П. Пропозиції щодо удосконалення методів подання інформації при розпізнаванні ситуацій черговими силами об’єднання Повітряних Сил [Електронний ресурс] / П. П. Зуєв, О. О. Тімочко, О. В. Дудко // Системи управління, навігації та зв'язку. - 2015. - Вип. 3. - С. 21-24. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2015_3_8 Проаналізовано основні методи вироблення рішень в існуючих автоматизованих системах управління черговими силами об'єднання Повітряних сил, визначені їх недоліки. Розглянуто основні функції, які повинні виконувати автоматизовані системи управління черговими силами. Запропоновано застосування семіотичних (логико-лингвистических) методів при побудові автоматизованих систем управління черговими силами. Обгрунтовано часткові завдання, вирішення яких дозволить удосконалити методи вироблення рішень в автоматизованих системах управління черговими силами об'єднання Повітряних сил.Проаналізовано основні особливості існуючої системи управління черговими силами і засобами протиповітряної оборони в об'єднанні Повітряних сил. Запропоновано нові завдання, які необхідно вирішувати в процесі розпізнавання ситуацій у повітряному просторі. Обгрунтовано необхідність розширення множини методів розпізнавання ситуацій у повітряному просторі. Показано, що повна автоматизація рішення задачі розпізнавання ситуацій у повітряному просторі можлива лише за умови використання нової інформаційної технології - технології експертних систем і систем ухвалення рішень у поєднанні з традиційними методами. | ||
| 3. |
Зуєв П. П. Пропозиції щодо удосконалення методів вироблення рішень в автоматизованих системах управління черговими силами об’єднання Повітряних Сил [Електронний ресурс] / П. П. Зуєв, О. О. Тімочко, А. А. Кизима // Системи управління, навігації та зв'язку. - 2016. - Вип. 1. - С. 26-28. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2016_1_9 Проаналізовано основні методи вироблення рішень в існуючих автоматизованих системах управління черговими силами об'єднання Повітряних сил, визначені їх недоліки. Розглянуто основні функції, які повинні виконувати автоматизовані системи управління черговими силами. Запропоновано застосування семіотичних (логико-лингвистических) методів при побудові автоматизованих систем управління черговими силами. Обгрунтовано часткові завдання, вирішення яких дозволить удосконалити методи вироблення рішень в автоматизованих системах управління черговими силами об'єднання Повітряних сил.Проаналізовано основні особливості існуючої системи управління черговими силами і засобами протиповітряної оборони в об'єднанні Повітряних сил. Запропоновано нові завдання, які необхідно вирішувати в процесі розпізнавання ситуацій у повітряному просторі. Обгрунтовано необхідність розширення множини методів розпізнавання ситуацій у повітряному просторі. Показано, що повна автоматизація рішення задачі розпізнавання ситуацій у повітряному просторі можлива лише за умови використання нової інформаційної технології - технології експертних систем і систем ухвалення рішень у поєднанні з традиційними методами. | ||
| 4. | 
Тімочко О. О. Вдосконалений метод класифікації повітряних об'єктів [Електронний ресурс] / О. О. Тімочко // Наука і техніка Повітряних Сил Збройних Сил України. - 2019. - № 1. - С. 58-63. - Режим доступу: http://nbuv.gov.ua/UJRN/Nitps_2019_1_10 Для прийняття рішень з класифікації повітряних об'єктів використаний комбінований метод - нечіткі моделі на основі систем з нечіткою логікою, а також моделі на основі звичайної булевої логіки. На попередньому етапі оцінка здійснюється шляхом співставлення з еталонним набором ознак для кожного класу повітряних об'єктів. На основі модифікації синглетонної бази знань та оптимістичного критерію прийняття рішення запропонований механізм ієрархічного логічного виведення. Значення синглетонних функцій належності для неявних гілок дерева прийняття рішень розглядається як значення обчисленої достовірності інформації. База знань формується як матриця відповідності можливих ознак поведінки повітряного об'єкту кожному індексу належності (класу повітряних об'єктів). Механізм логічного виведення застосовує результати попереднього аналізу можливих варіантів рішення, має гілки явних та неявних рішень. За вагові коефіцієнти рівняння логічного виведення використовуються значення коефіцієнтів повноти інформації, обчислені на етапі аналізу вхідної інформації. Одержані рівняння та дерева логічного виведення дозволяють побудувати метод прийняття рішень для автоматизованої класифікації повітряних об'єктів. Запропонований метод класифікації повітряних об'єктів відрізняється від відомих: використанням різнорідних джерел інформації про повітряні об'єкти і формалізацією ознак за допомогою нечітких множин, у тому числі 2-го типу; введенням ієрархічної системи класифікації повітряних об'єктів; обчисленням достовірності інформації про повітряні об'єкти і використанням її в якості значень синглетонних функцій належності вхідних ознак; організацією логічного виведення по детермінованій і нечіткій гілкам прийняття рішень про повітряні об'єкти з формуванням вектору "довіри" до варіантів рішення. Вдосконалений метод оцінювання якості класифікації повітряних об'єктів може використовуватися на етапі тестування автоматизованої системи класифікації. | ||
| 5. | 
Тімочко О. О. Оцінка затрат часу на виявлення некоректних рішень при класифікації об’єктів із застосуванням розфарбованих мереж Петрі [Електронний ресурс] / О. О. Тімочко, О. М. Тихомиров, О. В. Гойжевський, О. В. Губаревич // Наукоємні технології. - 2018. - № 4. - С. 428-436. - Режим доступу: http://nbuv.gov.ua/UJRN/Nt_2018_4_8 Відомий порядок оцінки ефективності методу поповнення і контролю коректності ієрархічної бази знань системи підтримки прийняття рішень. Але підходи до оцінки якості методу верифікації програмного продукту для класифікації повітряних об'єктів, побудованого з використанням розфарбованих мереж Петрі, до кінця не сформовані. Мета роботи - оцінити затрати часу на виявлення некоректних рішень при класифікації об'єктів із застосуванням розфарбованих мереж Петрі. Наведені витрати часу на виявлення одного неврахованого елементарного об'єкта залежно від кількості ознак, від кількості класів, від кількості отримуваних узагальнених об'єктів. Встановлено, що зі збільшенням розміру бази знань витрати часу на виконання алгоритму ростуть поліноміально і не гірше, ніж в квадратичній залежності. Здійснено оцінку адекватності спроектованих тестових наборів з використанням розфарбованих мереж Петрі. Визначено склад показників, що характеризують якість тестових наборів. Такими показниками є показники тестового покриття і достовірності тестових наборів. Основним показником є повнота тестового покриття вимог, додатковим - повнота тестового покриття на базі аналізу потоків управління. Виявлено, як метод проектування тестових наборів впливає на показники. Оцінена достовірність спроектованих тестових наборів з використанням розфарбованих мереж Петрі. Для оцінки значення показника достовірності враховані множина чинників, вага кожного чинника і відносні похибки початкової інформації. Значення показника достовірності розраховані для фіксованих значень відносної погрішності (<$E epsilon> = 10 %, 20 %, 40 %, 80 %). Ретельно складена множина чинників, використовуваних при проектуванні тестових наборів. Для порівняння розглядалися: відомий підхід до проектування тестових наборів на основі традиційні таблиці рішень; метод проектування тестових наборів на основі використання розфарбованих мереж Петрі. Оцінка повноти покриття функціональних вимог тестовими наборами на рівні системного тестування програмного забезпечення для розфарбованої мережі Петрі становить до 98 %, а для традиційних таблиць - до 60 %. | ||
| 6. |
Шило C. Г. Метод сумісної обробки координатної та ознакової інформації в системах обробки радіолокаційної інформації спеціального призначення [Електронний ресурс] / C. Г. Шило, Д. В. Головняк, С. І. Хмелевський, О. О. Тімочко // Системи управління, навігації та зв'язку. - 2019. - Вип. 6. - С. 123-128. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2019_6_24 Вивчено процес сумісної обробки координатної та ознакової інформації в системах обробки радіолокаційної інформації (СОРЛІ) спеціального призначення. Мета роботи - розробка методу сумісної обробки координатної та ознакової інформації в СОРЛІ спеціального призначення, що дозволяє врахувати інформаційні можливості різнотипних джерел про параметри траєкторій, сигнальні, траєкторні та оперативно-тактичні ознаки, а також використовувати інтелектуальні технології для розпізнавання повітряних об'єктів. Наведено результати досліджень щодо удосконалення методів та алгоритмів третинної СОРЛІ в системах обробки радіолокаційної інформації спеціального призначення. Запропоновано метод сумісної обробки координатної та ознакової інформації в СОРЛІ спеціального призначення, що відрізняється від відомих урахуванням інформаційних можливостей різнотипних джерел про параметри траєкторій, сигнальних, траєкторних та оперативно-тактичних ознак, а також використанням інтелектуальних технологій розпізнавання повітряних об'єктів. Розроблений метод сумісної обробки координатної та ознакової інформації в СОРЛІ спеціального призначення. Висновки: розроблений метод має усунути недоліки притаманні існуючим методам, і за рахунок цього підвищити якість інформації про повітряну обстановку. Встановлено, що використання запропонованого методу сприяє забезпеченню вимог споживачів щодо оперативності та якості інформації про повітряну обстановку. | ||
| 7. | 
Тимочко О. І Метод перевірки коректності процесу розпізнавання повітряного об’єкту [Електронний ресурс] / О. І Тимочко, О. О. Тімочко, Г. Г. Дубовик, П. Г. Берднік // Телекомунікаційні та інформаційні технології. - 2020. - № 2. - С. 112-125. - Режим доступу: http://nbuv.gov.ua/UJRN/vduikt_2020_2_12 В основу розробленої процедури контролю коректності процесу розпізнавання повітряних об'єктів покладено метод еталонів, роль яких виконують введені обмеження коректності. При контролі перевіряються синтаксична та семантична коректність процесу розпізнавання. Метод відрізняється від відомих використанням поняття середнього ризику при перевірці окремих видів семантичної некоректності описів класів алфавітів. Сутність розробленого методу перевірки розрізнення описів класів алфавіту полягає в розрахунку значень середнього ризику при розпізнаванні кожної пари класів алфавіту та перевірки виконання введеного обмеження. Використання методу надає можливість на етапі налагодження формалізованих знань виявляти некоректності, що пов'язані з нерозрізненістю класів алфавіту та використовувати числове значення середнього ризику для виявлення інших видів семантичних неточностей. Сутністю розробленого методу перевірки структурної надлишковості описів класів алфавіту є розрахунок значень середнього ризику при розпізнаванні класу з використанням різних "фрагментів" його опису. Введене обмеження надає можливість виявляти нерозрізнені "фрагменти" описів класів. Видалення надлишкових описів надає можливість знизити час пошуку рішень про класи об'єктів. В основу розробленого методу виявлення ознакової надлишковості описів класів також покладено процедуру розрахунку значення середнього ризику, прийнятого в якості характеристики апріорної інформативності ознак. Метод надає можливість на етапі наповнення бази знань автоматизувати виявлення та усунення неінформативних ознак в описах класів, що знижує трудовитрати на перевірку надлишковості; на етапі безпосереднього вирішення задачі розпізнавання - знизити обчислювальні витрати шляхом ранжирування використовуваних ознак по їх апріорній інформативності та відповідної організації процесу пошуку рішення про класи розпізнається ПО. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |